PHP 5.2 compatibility fix