minor punctuation and formatting