Very minor stuff for this paper.