fix for php syntax