pedantic documentation fix

Merged Arne Strehlow requested to merge arne.strehlow/dune-pdelab-tutorials:patch-1 into master

Merge request reports