many fixes in the documentation