@anonymous_user_7b2042d6 Thanks! If you find more bugs, please report them on github, should be easier for tracking.