minor fixes in paper