Yes, they should. Thanks for noticing the bug.