minor improvements to documentation.