Fixed PHP formatting