Is the name a pun or spelling error, reindeer?