fixed php formatting