Some minor cosmetic edits.