Fix: a few typos. Also add paragraph 5.