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