Double-thanks to you for helping me spot a serious problem. Luckily the patch is made and ready to go for after the voting is done.
