Correction of a small typo in the doc