Corrected a minor error in the documentation.