Fix some mistypes in docs