fixed a broken php tag.