test for #1141