Fix typos and generally improve documents.