Inevitable typos and edits fixed