Minor formatting fixes in paper