Fix misspelled filename of main document. Fix typos.