The opening credits cast list has the heading "The Players" preceding a list solely of the actors' names. "A Good Cast Is Worth Repeating... The Players" is the heading of end credits, which solely lists the same actors' names in the same order as the opening credits.