diff --git a/src/components/main/layout/box.rs b/src/components/main/layout/box.rs
index 0b7a0a87728..47797a5a4da 100644
--- a/src/components/main/layout/box.rs
+++ b/src/components/main/layout/box.rs
@@ -982,10 +982,13 @@ impl Box {
     }
 
     /// Returns a debugging string describing this box.
-    ///
-    /// TODO(pcwalton): Reimplement.
     pub fn debug_str(&self) -> ~str {
-        ~"(Box)"
+        match self.specific {
+            GenericBox => "(GenericBox)",
+            ImageBox(_) => "(ImageBox)",
+            ScannedTextBox(_) => "(ScannedTextBox)",
+            UnscannedTextBox(_) => "(UnscannedTextBox)",
+        }.to_str()
     }
 }
 
diff --git a/src/components/main/layout/construct.rs b/src/components/main/layout/construct.rs
index 0e00d2979d3..d447d5775d3 100644
--- a/src/components/main/layout/construct.rs
+++ b/src/components/main/layout/construct.rs
@@ -280,6 +280,9 @@ impl<'self> FlowConstructor<'self> {
 
                     // Flush any inline boxes that we were gathering up. This allows us to handle
                     // {ib} splits.
+                    debug!("flushing {} inline box(es) to flow A",
+                           opt_boxes_for_inline_flow.as_ref()
+                                                    .map_default(0, |boxes| boxes.len()));
                     self.flush_inline_boxes_to_flow_if_necessary(&mut opt_boxes_for_inline_flow,
                                                                  flow,
                                                                  node);
@@ -312,6 +315,10 @@ impl<'self> FlowConstructor<'self> {
                                 }
 
                                 // Flush any inline boxes that we were gathering up.
+                                debug!("flushing {} inline box(es) to flow A",
+                                       opt_boxes_for_inline_flow.as_ref()
+                                                                .map_default(0,
+                                                                             |boxes| boxes.len()));
                                 self.flush_inline_boxes_to_flow_if_necessary(
                                         &mut opt_boxes_for_inline_flow,
                                         flow,
@@ -473,6 +480,8 @@ impl<'self> PostorderNodeMutTraversal for FlowConstructor<'self> {
             DocumentNodeTypeId(_) => (display::none, float::none),
         };
 
+        debug!("building flow for node: {:?} {:?}", display, float);
+
         // Switch on display and floatedness.
         match (display, float) {
             // `display: none` contributes no flow construction result. Nuke the flow construction
@@ -573,6 +582,7 @@ fn strip_ignorable_whitespace_from_start(opt_boxes: &mut Option<~[Box]>) {
             let mut result = ~[];
             for box in boxes.move_iter() {
                 if !found_nonwhitespace && box.is_whitespace_only() {
+                    debug!("stripping ignorable whitespace from start");
                     continue
                 }
 
@@ -591,6 +601,7 @@ fn strip_ignorable_whitespace_from_end(opt_boxes: &mut Option<~[Box]>) {
         None => {}
         Some(ref mut boxes) => {
             while boxes.len() > 0 && boxes.last().is_whitespace_only() {
+                debug!("stripping ignorable whitespace from end");
                 let _ = boxes.pop();
             }
         }
diff --git a/src/components/main/layout/text.rs b/src/components/main/layout/text.rs
index 88a2f93f460..5b7e0dc466d 100644
--- a/src/components/main/layout/text.rs
+++ b/src/components/main/layout/text.rs
@@ -28,9 +28,6 @@ impl TextRunScanner {
     pub fn scan_for_runs(&mut self, ctx: &mut LayoutContext, flow: &mut Flow) {
         {
             let inline = flow.as_immutable_inline();
-            // FIXME: this assertion fails on wikipedia, but doesn't seem
-            // to cause problems.
-            // assert!(inline.boxes.len() > 0);
             debug!("TextRunScanner: scanning {:u} boxes for text runs...", inline.boxes.len());
         }
 
@@ -71,9 +68,8 @@ impl TextRunScanner {
     /// for correct painting order. Since we compress several leaf boxes here, the mapping must be
     /// adjusted.
     ///
-    /// N.B. `in_boxes` is passed by reference, since the old code used a `DVec`. The caller is
-    /// responsible for swapping out the list. It is not clear to me (pcwalton) that this is still
-    /// necessary.
+    /// FIXME(pcwalton): Stop cloning boxes. Instead we will need to consume the `in_box`es as we
+    /// iterate over them.
     pub fn flush_clump_to_list(&mut self,
                                ctx: &mut LayoutContext,
                                flow: &mut Flow,
@@ -99,10 +95,9 @@ impl TextRunScanner {
                 fail!(~"WAT: can't coalesce non-text nodes in flush_clump_to_list()!")
             }
             (true, false) => {
+                // FIXME(pcwalton): Stop cloning boxes, as above.
                 debug!("TextRunScanner: pushing single non-text box in range: {}", self.clump);
-                // out_boxes.push(in_boxes[self.clump.begin()]);
-                let first_box = in_boxes.remove(self.clump.begin());
-                out_boxes.push(first_box);
+                out_boxes.push(in_boxes[self.clump.begin()].clone());
             },
             (true, true)  => {
                 let old_box = &in_boxes[self.clump.begin()];
diff --git a/src/test/html/ib-split-image.html b/src/test/html/ib-split-image.html
new file mode 100644
index 00000000000..08689e8fa68
--- /dev/null
+++ b/src/test/html/ib-split-image.html
@@ -0,0 +1 @@
+<a><img></a> <div>a</div>