Fix WTF syntax error