small fixes in paper