Fixing a documentation bug