Oops hehe. The new names were generated automatically (randomly), so obviously the random number generator was in a good mood. We will regenerate the names today.
Thanks.