diff --git a/mlir/docs/Tools/mlir-reduce.md b/mlir/docs/Tools/mlir-reduce.md
--- a/mlir/docs/Tools/mlir-reduce.md
+++ b/mlir/docs/Tools/mlir-reduce.md
@@ -20,16 +20,16 @@
 
 ## How to Use it
 
-`mlir-reduce` adopts reduction-tree algorithm to reduce the input. it generates
-several reduced outputs and do the further reduction in between them according
-to the tree traversal strategy. The different strategies may lead to different
-result and different time complexity. You can run as
+`mlir-reduce` adopts the reduction-tree algorithm to reduce the input. It
+generates several reduced outputs and does the further reduction in between them
+according to the tree traversal strategy. The different strategies may lead to
+different results and different time complexity. You can run as
 `-reduction-tree='traversal-mode=0'` to select the mode for example.
 
-### Write the script for testing interesting
+### Write the script for testing interestingness
 
 As mentioned, you need to provide a command to specify `mlir-reduce` which case
-you're interesting. For each intermediate output generated during reduction,
+you're interested in. For each intermediate output generated during reduction,
 `mlir-reduce` will run the command over the it, the script should returns 1 for
 interesting case, 0 otherwise. The sample script,