Made the paper 'Arxiv-friendly'