Merge branch 'minor-doc-fixes' into 'master' See merge request [!266] [!266]: Nonecore/dune-istl/merge_requests/266