diff -r 7ff712de5747 -r 40e4feac2921 src/Pure/General/pretty.scala
--- a/src/Pure/General/pretty.scala	Sat Sep 29 16:15:18 2012 +0200
+++ b/src/Pure/General/pretty.scala	Sat Sep 29 16:17:46 2012 +0200
@@ -67,7 +67,7 @@
   def standard_format(body: XML.Body): XML.Body =
     body flatMap {
       case XML.Wrapped_Elem(markup, body1, body2) =>
-        List(XML.Wrapped_Elem(markup, body1, standard_format(body)))
+        List(XML.Wrapped_Elem(markup, body1, standard_format(body2)))
       case XML.Elem(markup, body) => List(XML.Elem(markup, standard_format(body)))
       case XML.Text(text) => Library.separate(FBreak, split_lines(text).map(XML.Text))
     }