minor improvements to documentation