I think you can also just use the random number generator (seeded with a secret key) as the watermark. Then the probability distribution is exactly the same.