bug fix in TwentyOnePointOverflowProbability()