Merge branch 'fix/typo' into 'master' See merge request [!789] [!789]: Nonecore/dune-common/merge_requests/789