[IMP] minor improvement in RegistryManager, useful for web client