test for #884