This name is going to cause problems for Infocom fans.