I fixed this independently (and differently, I think more robustly) before noticing your bug report. Thanks anyway!
I fixed this independently (and differently, I think more robustly) before noticing your bug report. Thanks anyway!