small update to object.rkt