fix random typos in the introduction sections