Fix some points about the language in the grammar doc