fix getRandom(int)