Fixed a php short tag