Fixed an error in the docs