Correction in the documentation.