minor fixes to documentation.