Minor documentation error