fixed a documentation bug