RANLUX implementation fix