Fix fatal error in PHP 5.2