typos and small fixes