diff --git a/lib/pretty.ml b/lib/pretty.ml
index 87b8ca39b..5a95f3c4a 100644
--- a/lib/pretty.ml
+++ b/lib/pretty.ml
@@ -364,7 +364,7 @@ end = struct
   let format_t fmt e = 
     match snd e with 
     | In -> Format.fprintf fmt "in"
-    | Out -> Format.fprintf fmt "in"
+    | Out -> Format.fprintf fmt "out"
     | InOut -> Format.fprintf fmt "inout"
 end
 
diff --git a/lib/types.mli b/lib/types.mli
index 3992448a5..67fe89f73 100644
--- a/lib/types.mli
+++ b/lib/types.mli
@@ -340,8 +340,8 @@ and Parser : sig
 
   type case = pre_case info [@@deriving sexp,yojson]
 
-  type pre_transition = 
-      Direct of 
+  type pre_transition =
+      Direct of
         { next: P4String.t }
     | Select of 
         { exprs: Expression.t list;
diff --git a/petr4.opam b/petr4.opam
index 19fc90806..08ef4cc39 100644
--- a/petr4.opam
+++ b/petr4.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.1"
+version: "0.1.1"
 synopsis: "Petr4: Formal Semantics for the P4 Programming Language"
 maintainer: "jnfoster@cs.cornell.edu"
 authors: ["Nate Foster <jnfoster@cs.cornell.edu>"]