Add regression test for #5