normalization fails on unchanged goal

--- a/src/HOL/HOL.thy	Wed Sep 01 23:03:31 2010 +0200
+++ b/src/HOL/HOL.thy	Thu Sep 02 08:40:25 2010 +0200
@@ -1995,7 +1995,8 @@
   "solve goal by evaluation"
 
 method_setup normalization = {*
-  Scan.succeed (K (SIMPLE_METHOD' (CONVERSION Nbe.dynamic_eval_conv THEN' (fn k => TRY (rtac TrueI k)))))
+  Scan.succeed (K (SIMPLE_METHOD'
+    (CHANGED_PROP o CONVERSION Nbe.dynamic_eval_conv THEN' (fn k => TRY (rtac TrueI k)))))
 *} "solve goal by normalization"