Minor changes to docs