NEW: Test case for #9