Merge branch 'master' into 'master'

Fix typos in documentation

See merge request !4
3 jobs for master in 1 minute and 11 seconds (queued for 2 seconds)
latest