Some minor changes to docs