Fix php error (merge of deploy branch I think)