minor changes to docs