Minor modification to array bounds in random benchmarks