convert two stray php tags