Fix crash in run-test6.html