Bastien Wed, 09 Sep 2020 02:38:11 -0700
Hi Nick, thanks for reporting this, I committed a fix for this (f5573e6a0).
Best, -- Bastien