minor formatting, typos