fix some mistypes