Fixed mistake in the random number generator RAND_MAX interval