Merge branch 'cleanup/fix-typos' into 'master'

[cleanup] fix two typos

See merge request !2745

(cherry picked from commit a30d1ca1)

0e600a53 [cleanup] fix typos in comments
5 jobs for !2746 with cherry-pick-a30d1ca1
latest detached
Status Name Job ID Coverage
  Trigger
manual full-dune-2.7-clang
manual full-dune-2.7-gcc
manual full-dune-master-gcc
manual minimal-dune-2.7-gcc
 
  Downstream Modules
created trigger lecture