Fixing an erroneous modification of test-t-ok.sh