Some test cases for this bug.