Test case for #12.