diff --git a/spdl/nsl3-niscynch-rep.spdl b/spdl/nsl3-nisynch-rep.spdl
similarity index 90%
rename from spdl/nsl3-niscynch-rep.spdl
rename to spdl/nsl3-nisynch-rep.spdl
index 2baa020..e826154 100644
--- a/spdl/nsl3-niscynch-rep.spdl
+++ b/spdl/nsl3-nisynch-rep.spdl
@@ -11,6 +11,7 @@ protocol nsl3(I,R)
 
 		send_1(I,R, {I,ni}pk(R) );
 		read_2(R,I, {ni,nr,R}pk(I) );
+		read_6(R,I, {ni,nr,R}pk(I) );
 		send_3(I,R, {nr}pk(R) );
 		claim_4(I,Nisynch);
 	}	
@@ -22,6 +23,7 @@ protocol nsl3(I,R)
 
 		read_1(I,R, {I,ni}pk(R) );
 		send_2(R,I, {ni,nr,R}pk(I) );
+		send_6(R,I, {ni,nr,R}pk(I) );
 		read_3(I,R, {nr}pk(R) );
 		claim_5(I,Nisynch);
 	}