Small fix on the manpage