fix php syntax