Fixed a small error in the documentation.