Fixing documentation bug