little test for #583