squashed an error in reading enough randomness