Some small fixes (typos)