Minor correction in documentation