Add a test for bug #3.