small changes to definition of class Object