diff -r 9c3c118896bb -r aeb0bc2d1812 Spiral.scala
--- a/Spiral.scala	Sat Jan 11 22:47:11 2020 +0000
+++ b/Spiral.scala	Sun Jan 12 22:49:23 2020 +0000
@@ -450,7 +450,7 @@
       }
     }
     case ASEQ(bs, r1, r2) => {
-      ((elem("[") left_align bstostick(bs)) beside  bits_print(r1) beside elem("~") beside bits_print(r2)) 
+      ((elem("[") left_align bstostick(bs)) beside  bits_print(r1) beside elem("~") beside bits_print(r2) beside (elem("]") above elem(" "))) 
     }
     case ASTAR(bs, r) => {
       r match {