Issue #100: unreproducible but maybe solved