Update some arXiv papers to the published version.