Bug fix in the documentation.