fix a type in the docs