Minor edit to the paper.