Correct typos

Many fixes to the documentation.