Merge branch 'typo' into 'master'

fix typo

@jung good?

See merge request !2
1 job for master in 4 minutes and 14 seconds (queued for 3 seconds)