Fixed a copy and paste mistake in the docs.

Merged Markus Scheidgen requested to merge docs-fixes into develop

Merge request reports