Minor correction in doc