Comment on random Intn<=0 workaround