Small improvements to documentation.