Fixed a bug that allowed identical RegistryElementKeys in the map.