Corrected an error in the documentation