Thanks to your bug reports, we found another (rare) bug.