Add a comment on the random number generator