Fixes yet another bug in the serialization of ObjectIDs