The end credits list only the names of the actors and not the names of the characters that they play.