Minor fixes to documentation.