Test case for #9