Add testcase for #80