Sorry, didn’t see this till now. Please file a bug report on Github — it’s much easier to track issues there.