Random tweaks to the paper.