Minor correction in docs