fixing documentation bug