Fix error in php5.3