more edits to the manual