Test case for #1413