Minor edits for final version.