HOPKINS: Get rid of some more casts in objectManager