--- rpl/src/instructions_o1.c	2012/05/20 17:28:26	1.53
+++ rpl/src/instructions_o1.c	2012/05/20 18:01:35	1.54
@@ -1031,7 +1031,7 @@ instruction_open(struct_processus *s_eta
 				"			{ \"stty\" { \"stty parameters\" ... } } } OPEN\n");
 		printf("    { \"sockettype\" { \"name\" \"local name\" } } OPEN\n");
 		printf("    { \"sockettype\" \"socketdomain\" \"protection\" } OPEN\n");
-		printf("    \"/semaphore\" OPEN\n");
+		printf("    \"/semaphore\" OPEN\n\n");
 
 		printf("    File type       : NEW/OLD/REPLACE/UNKNOWN/SCRATCH\n");
 		printf("    File access     : SEQUENTIAL/DIRECT/KEYED\n");