See if this fixes the PHP 5.2 error