minor cleanup in CoreObject