Fix for php5.3.