Fixed a documentation mistake.