Sergey Poznyakoff Sat, 24 Nov 2018 08:02:23 -0800
Hi Micha, Thanks for the report. I've pushed commit ba472050 to fix that.
Regards, Sergey