small fixes, typos and so on