That's definitely a bug, thanks for spotting!