print out random number seed (minor change)