A handful of minor manpage touchups.