Yes, thanks for pointing this out, it's clearly a bug.