Fix some mistypes