Bug fixes in the documentation.