Fixed an error in documentation.