test for #845