Fix for php5.3