test for #477