Thanks for reporting that. It should be fixed with the attached, which I 
installed as master commit 99763700e33cc04700e2ee2fd9313e9ff279b2de.