I noticed that in the end credits of "Just Another Pretty Face" and "Zombo", Dom DeLuise and Louis Nye get larger than normal credits for their appearances. Is that because they were really big stars at the time, or what?