Fix PHP5.4