another fix for php5.3 compatibility