diff --git a/prototype/doubt-difftool/Unified.swift b/prototype/doubt-difftool/Unified.swift
index 165964a3f..e01b04d21 100644
--- a/prototype/doubt-difftool/Unified.swift
+++ b/prototype/doubt-difftool/Unified.swift
@@ -3,6 +3,8 @@ private func unified(term: Term, source: String) -> String {
 		switch syntax {
 		case .Leaf:
 			return (String(source.utf16[info.range]), info.range)
+		case let .Indexed(i):
+			return (unified(info.range, children: i, source: source), info.range)
 		default:
 			return ("", info.range)
 		}