Thanks for reporting that bug. It was indeed an unintended consequence of my 
earlier change. I installed the attached patch, which should fix it.