Minor documentation changes

Minor changes to the documentation