trying a fix for the intermittent failures of the Random spec