Fix php format strings