Test case for #25