Add some comments to the random number generator to make sure we don't change the numbers by mistake.