Fix a typo

Sander, Oliverrequested to merge
fix-typo into master

Sadly, none of our test currently seems to catch this.

Merge request reports