more minor changes to man page