test for #1173