Fixing a borked php tag.