This modification must be applied due to some changes in PHP 5.5.3.