Fixed a small documentation error