PHP 5.2 fix