Corrected a small error in the documentation