Proper arxiv version.