Add a test case for #4