Merge branch 'master' into 'master'

fixing another typo

See merge request !132
2 jobs for master in 35 seconds (queued for 4 seconds)