Correcting autotest.sh (I think)