typos and minor formatting