minor changes to document