As you may remember, at the end of the movie, several of the surviving Schindler Jews place stones on the grave.  Some of them have their names onscreen as they do so.

My question is this:  Shouldn't this be considered a credit and the "uncredited" removed from the cast list?