Fix typo.

Merged Philipp Marek requested to merge typo-fix into master

Merge request reports