Tweaks before printing out.
Fixen sie formatten for arxiv.
Posting a new version.