Format WRandom properly and fix GetTuples header