@ kernel/security/security.php: a fix