fix for php5.4