2007-02-26      1.0.2: small fix in the random number generator initialization (see ChangeLog)
