Minor change in the doc