cut and paste typo in the doc…