Fixing documentation mistake