Small correction in doc