Oh, I see. Sorry I somehow misread the `px:message` for a `px:error`. No, the current (most permissive) behavior is the best. I revert my comments.