Bug in the doc...