Fixed a documentation mistake