A bug fixed in request.php