@gregcaporaso, it is a different issue than the one you acknowledged, and it is one that leads to very subtle and annoying bugs, which was why I brought it up.