Test case for #13993