@ kernel/application/api.php: a fix