Minor improvements to documentation