Squashed a bug that caused test-t-ok.sh to fail for some semicolons