Fixing typos and omissions