HOPKINS: rename one more field, fix glitch in ObjectsManager