Thanks @Paul_Baumgarten! I have not been able to reproduce this internally, but I’ve added your report to an internal ticket we use to track similar reports.
This shouldn’t be necessary, but if you run into this a lot, you might consider adding a User-level Rule to reinforce the proper behavior.