Fix for random-seed option.