Probabilities: minor improvements.