Fixed an error in the docs.