small correction in docs