Minor bug fixes to FHCRC and set.user.Random.seed