```
Fixes #14393.
```