Fix some typos and refine the typesetting