small fixes in the text