Minor correction in documentation.