May 19, 2015
8:27 a.m.
Thanks for the bug report. I installed the attached more-elaborate patch into the experimental version on github. It should fix the problem in a different way.