Critical mistakes leaked into 'master' branch

A couple of code and documentation mistakes that make the CHECK process fail have leaked into 'master' branch after mergeing ProbBins without checking properly that there were no errors.

To be fixed as soon as possible.