Minor improvements to the documentation