test for #580