Minor changes to documentation.