PRINCE: rename a couple of variables named "rand"