Slight improvements to the documentation.