It is a pretty subtle edge case, regardless of how it happened. Thanks for reporting this.
I’d call it “bug” territory since it’s obviously incorrect. UX I’d reserve for discussions about UX improvements and the like, assuming everything is working as designed.