Thanks for fixing that bug, which I introduced. I added the attached change to fix the comment (which I also wrote) that led me astray.