fixed minor formating issue in manpage