diff --git a/ocaml/StellarCircuits.ml b/ocaml/StellarCircuits.ml
index 92ca0e9..4717ebb 100644
--- a/ocaml/StellarCircuits.ml
+++ b/ocaml/StellarCircuits.ml
@@ -15,8 +15,8 @@ let call_cor pol arg1 arg2 res = Func ("or", pol, [arg1; arg2; res])
 
 let star_of_gate circ (ins, op, outs) =
   match op with
-  | CIn i -> [port Neg (List.hd outs) [make_const (string_of_int i)]]
-  | COut -> [outport (List.hd ins) "r"; Var "r"]
+  | CIn i -> [port Pos (List.hd outs) [make_const (string_of_int i)]]
+  | COut -> [inport (List.hd ins) "r"; Var "r"]
   | CShare -> 
       let (o1, o2) = twinhd outs in
       [inport (List.hd ins) "x"; outport o1 "x"; outport o2 "x"]