I attach a patch with three tests that demonstrate the bug.