minor formatting corrections and edits