fixing a little error in documentation.