@ core/db/models/exception.php: a fix