The seven top-billed actors listed in the opening credits are not listed with the other players in the end credits.