@ kernel/application/httpRequest.php: a fix