Three small manpage touchups.