RANDOM: fix to superfluous stuff