Fixed an error in the documentation