fix for php5.6