Fixed a warning in php5.4