fix double php tag