Remove typographical errors and improve style
Merge branch 'trunk' of https://github.com/fandango-/flint2 into trunk