nitpick, but can you add a `.` at the end:

```
Fixes #13810.
```