minor formatting typos