A few small tweaks/corrections, but mostly reformatting comments.