test cases for #543 I forgot to add