Another shorthand PHP tag fix