better formatting in arXiv; change to abstract