Hey @Rodolfo_Novarini,
Thanks for pointing out the discrepancy. Although the final value of the probability is correct, the expression has an incorrect value in the denominator as you pointed out. I will pass this on to the team to get it fixed.
Cheers,
Elemento