minor formatting changes / fixed some typos