Fix some misprints in docs.