--- rpl/src/instructions_o1.c	2013/09/26 13:22:10	1.71
+++ rpl/src/instructions_o1.c	2013/09/26 15:37:12	1.72
@@ -1028,7 +1028,8 @@ instruction_open(struct_processus *s_eta
 				"\"file name\" } \"protection\" } OPEN\n");
 		printf("    { \"filetype\" \"access\" \"format\" { \"name\" "
 				"\"file name\" } \n"
-				"			{ \"stty\" { \"stty parameters\" ... } } } OPEN\n");
+				"			{ \"stty\" \"speed,bits,parity,stop\"\n"
+				"           { \"stty parameters\" ... } } } OPEN\n");
 		printf("    { \"sockettype\" { \"name\" \"local name\" } } OPEN\n");
 		printf("    { \"sockettype\" \"socketdomain\" \"protection\" } OPEN\n");
 		printf("    \"/semaphore\" OPEN\n\n");
@@ -1078,8 +1079,8 @@ instruction_open(struct_processus *s_eta
 		printf("    { \"STREAM\" \"READWRITE\" } OPEN\n");
 		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");
+		printf("    { { \"NAME\" \"/dev/ttyS1\" } { \"STTY\" \"9600,8,N,1\" "
+				"\n            { \"NO ICANON\" \"IGNBRK\" } } } OPEN\n");
 
 		return;
 	}
@@ -2143,7 +2144,6 @@ instruction_open(struct_processus *s_eta
 								{
 									type_arguments = 'S';
 								}
-								else if (type_arguments == 'F')
 								{
 									liberation(s_etat_processus,
 											s_objet_argument);