remove a couple of unneeded php short_open_tag uses