Added to fix the error in PHP 5.4.7