$ 0 0 Update: fixed in mainline master, so using the binomial distribution as above should work properly in the next release. Thanks, Christoph