Typos and small fixes