Fix php5.4 warning