How actors are listed in the end credits depends on the fate of the character they played, such as "John Stockwell IS Lee," "Dean Devlin WAS Ernie."