Fixing a documentation comment