When checking for a name clash for renaming, don't complain if the name is unchanged. That's harmless.