fixes php syntax error