Fix a typo in ResultPrinter.php