One more PHP 5.2 fix