Fixing a documentation error.