fixes documentation bug