fix several typos

Ansgar Burchardt requested to merge ansgar/dune-common:feature/fix-typos into master Nov 13, 2017