Fixing some bits and pieces before dumping to arXiv