diff --git a/img/VtypeDetail.md b/img/VtypeDetail.md
index 5f3a4d2..ce10501 100644
--- a/img/VtypeDetail.md
+++ b/img/VtypeDetail.md
@@ -2,12 +2,10 @@ XXX.scala:15: error: type mismatch;
 
 - Test.F\[
 
-    - Test.a.type (<label class="ob-comment" title="" style="background:red"> with underlying type Test.A <input type="checkbox"> <span style=""> long </span></label>)|a.type (with underlying type a.type) <label class="ob-comment" title="" style="background:orange"> where val a: Test.A <input type="checkbox"> <span style=""> existential </span></label> (<label class="ob-comment" title="" style="background:yellow"> defined at newSource1.scala:13:18 <input type="checkbox"> <span style=""> position </span></label>)
+  - Test.a.type (<label class="ob-comment" title="" style="background:red"> with underlying type Test.A <input type="checkbox"> <span style=""> long </span></label>)|a.type (with underlying type a.type) <label class="ob-comment" title="" style="background:orange"> where val a: Test.A <input type="checkbox"> <span style=""> existential </span></label> (<label class="ob-comment" title="" style="background:yellow"> defined at newSource1.scala:13:18 <input type="checkbox"> <span style=""> position </span></label>)
 
-        - <label class="ob-comment" title="" style="background:green">     ――(left side reduced from) <input type="checkbox"> <span style=""> reduction </span></label>
+    - <label class="ob-comment" title="" style="background:green"> ――(left side reduced from) <input type="checkbox"> <span style=""> reduction </span></label>
 
-            - Test.AA
-
-    - <label class="ob-comment" title="" style="background:blue"> (which expands to)  Test.a.type <input type="checkbox"> <span style=""> alias </span></label>
+      - Test.AA  <label class="ob-comment" title="" style="background:blue"> (which expands to)  Test.a.type <input type="checkbox"> <span style=""> alias </span></label>
 
 - \]
\ No newline at end of file
diff --git a/img/VtypeDiffsDetail.md b/img/VtypeDiffsDetail.md
index 8c69869..bdcb80b 100644
--- a/img/VtypeDiffsDetail.md
+++ b/img/VtypeDiffsDetail.md
@@ -1,12 +1,13 @@
 XXX.scala:16: error: implicit error;
+
 - !I ev:
 
-    - Long(<label class="ob-comment" title="" style="background:red"> in method add <input type="checkbox"> <span style=""> disambiguation </span></label>) =:= scala.Long
+  - Long(<label class="ob-comment" title="" style="background:red"> in method add <input type="checkbox"> <span style=""> disambiguation </span></label>) =:= scala.Long
 
-    - ――(<label class="ob-comment" title="" style="background:yellow"> comparing \<found\> =:= \<required\> <input type="checkbox"> <span style=""> builtIn </span></label>)
+  - ――(<label class="ob-comment" title="" style="background:yellow"> comparing \<found\> =:= \<required\> <input type="checkbox"> <span style=""> builtIn </span></label>)
 
-        - found   : Long(in method add)
+    - found   : Long(in method add)
 
-        - required: scala.Long
+    - required: scala.Long
 
-    - Cannot prove that Long =:= Long.
\ No newline at end of file
+  - Cannot prove that Long =:= Long.
\ No newline at end of file
diff --git a/img/bc959e77.png b/img/bc959e77.png
index 23daf0b..78ad56d 100644
Binary files a/img/bc959e77.png and b/img/bc959e77.png differ