more fixes in the paper