minor change to document