Adds testcase for #13