Add test case for #6.