Fix some english errors in the english doc