Minor changes to docs.