fix for fix for php5.3