--- rpl/src/instructions_o1.c	2013/09/06 10:30:54	1.70
+++ rpl/src/instructions_o1.c	2013/09/26 13:22:10	1.71
@@ -1079,7 +1079,7 @@ instruction_open(struct_processus *s_eta
 		printf("    { \"FOREIGN\" \"DATAGRAM\" } OPEN\n");
 		printf("    { \"LOCAL\" { \"NAME\" \"socket.sock\" } } OPEN\n");
 		printf("    { { \"NAME\" \"/dev/ttyS1\" } { \"STTY\" { \"9600,8,N,1\" "
-				"\n            { \"NO ICANON\" \"IGNBRK\" } } } OPEN\n");
+				"\n            \"NO ICANON\" \"IGNBRK\" } } } OPEN\n");
 
 		return;
 	}