Minor improvements to documentation.