Minor fixes in the documentation.