Fixed a minor issue with the documentation.