Fix a mistake in the Binomial Coefficient initialization, and change
the progress formula again to work in the presence of the fix.