fix a type in the doc