Minor cosmetic edits.