minor improvements to the documentation