fix for php5.5