Fix some misprints