Merge branch 'master' into 'beta'

Correct typo

See merge request !117
3 jobs for beta in 6 minutes and 46 seconds (queued for 52 seconds)