Improvements to the docs by fehlerfix.