Minor edits to sections I and II