Issue #231: Provide test case, but problem is not reproducible.