Fixed a type in the manpage