Fix more warnings

Oliver Sanderrequested to merge
fix-more-warnings into master

In particular, the ones found by core/dune-grid!542

Edited by Oliver Sander

Merge request reports