Add test case for #7.