Minor changes to the object checker