correction of the example in the doc