Minor changes to php format