diff --git a/include/llvm/Analysis/Dominators.h b/include/llvm/Analysis/Dominators.h
index 6d843c03f8a..86a0457df9f 100644
--- a/include/llvm/Analysis/Dominators.h
+++ b/include/llvm/Analysis/Dominators.h
@@ -308,7 +308,7 @@ public:
   // FIXME: Should remove this
   virtual bool runOnFunction(Function &F) { return false; }
 
-  /// compare - Return false if the other dominator tree base maches this
+  /// compare - Return false if the other dominator tree base matches this
   /// dominator tree base. Otherwise return true.
   bool compare(DominatorTreeBase &Other) const {
 
@@ -735,7 +735,7 @@ public:
     return DT->getRootNode();
   }
 
-  /// compare - Return false if the other dominator tree maches this
+  /// compare - Return false if the other dominator tree matches this
   /// dominator tree. Otherwise return true.
   inline bool compare(DominatorTree &Other) const {
     DomTreeNode *R = getRootNode();
@@ -949,7 +949,7 @@ public:
   }
 
   /// compareDomSet - Return false if two domsets match. Otherwise
-  /// return ture;
+  /// return true;
   bool compareDomSet(DomSetType &DS1, const DomSetType &DS2) const {
     std::set<BasicBlock *> tmpSet;
     for (DomSetType::const_iterator I = DS2.begin(),
diff --git a/lib/Analysis/LoopPass.cpp b/lib/Analysis/LoopPass.cpp
index 57e8f4da960..2236834cd6e 100644
--- a/lib/Analysis/LoopPass.cpp
+++ b/lib/Analysis/LoopPass.cpp
@@ -234,7 +234,7 @@ bool LPPassManager::runOnFunction(Function &F) {
       recordAvailableAnalysis(P);
       removeDeadPasses(P, "", ON_LOOP_MSG);
 
-      // Verify dominator information if it is available and preserved.
+      // If dominator information is available then verify the info if requested.
       verifyDomInfo(*LP, F);
 
       if (skipThisLoop)
diff --git a/lib/VMCore/PassManager.cpp b/lib/VMCore/PassManager.cpp
index f98f2e16572..5648e95db54 100644
--- a/lib/VMCore/PassManager.cpp
+++ b/lib/VMCore/PassManager.cpp
@@ -42,7 +42,7 @@ enum PassDebugLevel {
   None, Arguments, Structure, Executions, Details
 };
 
-bool VerifyDomInfo = false;
+bool VerifyDomInfo = true;
 static cl::opt<bool,true>
 VerifyDomInfoX("verify-dom-info", cl::location(VerifyDomInfo),
                cl::desc("Verify dominator info (time consuming)"));
@@ -631,7 +631,7 @@ void PMDataManager::verifyDomInfo(Pass &P, Function &F) {
     cerr << "Pass " << P.getPassName() << "\n";
     cerr << "----- Valid -----\n";
     OtherDT.dump();
-    cerr << "----- InValid -----\n";
+    cerr << "----- Invalid -----\n";
     DT->dump();
     assert (0 && "Invalid dominator info");
   }
@@ -648,13 +648,13 @@ void PMDataManager::verifyDomInfo(Pass &P, Function &F) {
     cerr << "Pass " << P.getPassName() << "\n";
     cerr << "----- Valid -----\n";
     OtherDF.dump();
-    cerr << "----- InValid -----\n";
+    cerr << "----- Invalid -----\n";
     DF->dump();
     assert (0 && "Invalid dominator info");
   }
 }
 
-/// Remove Analyss not preserved by Pass P
+/// Remove Analysis not preserved by Pass P
 void PMDataManager::removeNotPreservedAnalysis(Pass *P) {
   AnalysisUsage AnUsage;
   P->getAnalysisUsage(AnUsage);
@@ -1250,7 +1250,7 @@ bool FPPassManager::runOnFunction(Function &F) {
     recordAvailableAnalysis(FP);
     removeDeadPasses(FP, F.getNameStart(), ON_FUNCTION_MSG);
 
-    // Verify dominator information if it is available and preserved.
+    // If dominator information is available then verify the info if requested.
     verifyDomInfo(*FP, F);
   }
   return Changed;