Fix bug #11336.