small fixes, typos