Add another test for bug #11888.