small correction on the doc