fixed error in documentation in the manual