stray php tag in example