A hot-fix on Request.php