diff --git a/src/col/vct/col/ast/lang/JavaParamImpl.scala b/src/col/vct/col/ast/lang/JavaParamImpl.scala
index 9f3b2e1b99..0bbc63523b 100644
--- a/src/col/vct/col/ast/lang/JavaParamImpl.scala
+++ b/src/col/vct/col/ast/lang/JavaParamImpl.scala
@@ -4,6 +4,6 @@ import vct.col.ast.JavaParam
 import vct.col.print.{Ctx, Doc, Text}
 
 trait JavaParamImpl[G] { this: JavaParam[G] =>
-  override def layout(implicit ctx: Ctx): Doc = Text(t + " " + name)
+  override def layout(implicit ctx: Ctx): Doc = t.show <+> name
 
 }
diff --git a/src/col/vct/col/ast/type/TUnionImpl.scala b/src/col/vct/col/ast/type/TUnionImpl.scala
index af0f33e3e1..6aabe6796f 100644
--- a/src/col/vct/col/ast/type/TUnionImpl.scala
+++ b/src/col/vct/col/ast/type/TUnionImpl.scala
@@ -4,6 +4,6 @@ import vct.col.ast.TUnion
 import vct.col.print.{Ctx, Doc}
 
 trait TUnionImpl[G] { this: TUnion[G] =>
-  override def layout(implicit ctx: Ctx): Doc =  Doc.spread(types)
+  override def layout(implicit ctx: Ctx): Doc =  Doc.fold(types)(_ <+> "|" <+> _)
 
 }
\ No newline at end of file