minor correction to manpage