Minor cosmetic tweaks to a few comments