fixes some typos and minor markup corrections