Fix php formatting bug