fix typo and add a missing file