minor change to objectstore.cc