diff --git a/include/tvm/ir/op.h b/include/tvm/ir/op.h
index a18d42902503..683170026451 100644
--- a/include/tvm/ir/op.h
+++ b/include/tvm/ir/op.h
@@ -146,7 +146,7 @@ class OpNode : public RelayExprNode {
   // Internal function to compute if it is primitive op
   bool IsPrimitiveOp_() const {
     const auto& fn_ty = this->op_type;
-    ICHECK(fn_ty.get() != nullptr) << "op_type of " << this->name << "is not registered";
+    ICHECK(fn_ty.get() != nullptr) << "op_type of " << this->name << " is not registered";
     if (fn_ty->type_constraints.size() != 1) return false;
     const TypeRelationNode* rel = fn_ty->type_constraints[0].as<TypeRelationNode>();
     if (rel == nullptr) return false;
diff --git a/src/relay/analysis/well_formed.cc b/src/relay/analysis/well_formed.cc
index acc1a9adc9f4..d8a5bb8e4f65 100644
--- a/src/relay/analysis/well_formed.cc
+++ b/src/relay/analysis/well_formed.cc
@@ -70,8 +70,8 @@ class WellFormedChecker : private MixedModeVisitor, PatternVisitor {
 
   void Bound(const Var& v) {
     if (current_bound.count(v) != 0 || total_bound.count(v) != 0 || free.count(v) != 0) {
-      Illformed(Diagnostic::Error(v->span) << "the variable " << v->name_hint()
-                                           << "is bound more then once, this is not valid IR");
+      Illformed(Diagnostic::Error(v->span) << "The variable " << v->name_hint()
+                                           << " is bound more than once, this is not valid IR");
     }
     ICHECK_GE(scope.size(), 0);
     scope.back().insert(v);