small corrections to man page.  (is there a better option than eqn for
the formulæ?)