Many edits to the documentation