“Stygimolochs,” Gerald said. “I’ve seen these before in one of Leon’s encyclopedias. They’re vegetarians.”
Stygimoloch wasn’t named until 1983 so there’s no way this could’ve happened in the 60s. Besides, stygimoloch is synonymous with pachycephalosaurus anyway, and pachycephalosaurus was described in 1932, so why didn’t you just use pachycephalosaurus?

