Can you submit a bug report on our GitHub page? I’ll gladly take a look at this later.