Minor changes to the documentation.