confirmed source of probability bug; fixed.