Comment by ketzu

Thanks a lot, I wasn't really sure if reporting here or on github would be faster, I'll try to report on github in the future!