[zen21]

I see. So it seems like a good reason to change the names is so people don't lose marks over spelling mistakes.