Minor correction in the documentation.