Minor changes in manpage