fix small mistypes