Fix PHP5.3