Fix for the error in PHP >= 5.4.0