fixed automatic seed assignment (was always 0 due to int-rounding)