Add a test case for #15.