Minor structural edits.