Reproduce the original test case for #79