fix WTF.php