Add test case for #5.