Fixed an error in the documentation.