# 
# 
# patch "rev_height.cc"
#  from [4c461f499aa31bdb99de01284ef879055eae47b4]
#    to [f566f52efe459ce27bb9fa89be54081423f101ea]
# 
============================================================
--- rev_height.cc	4c461f499aa31bdb99de01284ef879055eae47b4
+++ rev_height.cc	f566f52efe459ce27bb9fa89be54081423f101ea
@@ -82,7 +82,7 @@ static void append(string & d, u32 value
 static void append(string & d, u32 value)
 {
   d.resize(d.size() + width);   // make room
-  write_at(d, d.size() - width, value);
+  write_at(d, d.size() / width - 1, value);
 }
 
 // Creating derived heights