A few minor manpage touchups.