Fix help of --use-randomized-input.