some typos and a formatting problem