More fixes to the paper