Fix a type in the doc string