Minor edits to Sections III-V