Fix randomInteger