Minor improvement of the randomcase tamper script