Deal with very unlikely case of name collisions