fix typos and correct some facts