Add testcase for #8138