test for #1212