Test case for #16