diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9828b16cb48526f6b0821c6fe2b9e4c868abcbd7..0d7f280cdef3e2a9d7a5047340e6ac07a0974e31 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,8 +1,7 @@
 2009-06-07  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
 
-	* errors.c (internal_error): Commentary typo fix.
-	* gimple-iterator.c (gsi_insert_seq_on_edge): Ditto.
-	* tree-ssa-pre.c: Ditto.
+	* tree-cfg.c (gimple_merge_blocks): Commentary typo fix.
+	(verify_stmts): Print statement who's gimple_bb is set to a wrong BB
 
 2009-06-07  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
 
@@ -10,6 +9,11 @@
 	* gimple-iterator.c (gsi_insert_seq_on_edge): Ditto.
 	* tree-ssa-pre.c: Ditto.
 
+2009-06-07  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
+
+	* basic-block.h (ENTRY_BLOCK, EXIT_BLOCK): Document that neither of
+	them is supposed to hold actual statements.
+
 2009-06-06  Ian Lance Taylor  <iant@google.com>
 
 	* doc/extend.texi (Attribute Syntax): Document that C++ labels on
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 26a082da0001ad351834d0c2c9abb727fda7c4c1..763ac04d5cab05df99e9216e99170b87f07d6e5f 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -1571,7 +1571,7 @@ gimple_merge_blocks (basic_block a, basic_block b)
 
 
 /* Return the one of two successors of BB that is not reachable by a
-   reached by a complex edge, if there is one.  Else, return BB.  We use
+   complex edge, if there is one.  Else, return BB.  We use
    this in optimizations that use post-dominators for their heuristics,
    to catch the cases in C++ where function calls are involved.  */
 
@@ -4464,6 +4464,7 @@ verify_stmts (void)
 	  if (gimple_bb (stmt) != bb)
 	    {
 	      error ("gimple_bb (stmt) is set to a wrong basic block");
+	      debug_gimple_stmt (stmt);
 	      err |= true;
 	    }