same test input as #13397
same test input as #13397