Merge branch 'patch-1' into 'master'

Correct mistake in heading

See merge request !6
14 jobs for master in 5 minutes and 34 seconds (queued for 5 seconds)