If you have any useful outputs or info from encountering this bug, you could open up a separate issue so it doesn't go forgotten.. (unless you've done that already and I can't see it :) )