php syntax fix