Fix a typo in testDriver.pl