Fix class name in KatarTest.php