Typo in runtests.pl