Fix formatting of php