diff --git a/lib/sasacore/simuState.mli b/lib/sasacore/simuState.mli
index 7946f3be45620e5bafee7da65fa41cbf81798efd..ddb930a06645943e8d239ca93cae6cf74ced99b8 100644
--- a/lib/sasacore/simuState.mli
+++ b/lib/sasacore/simuState.mli
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 17/06/2021 (at 15:29) by Erwan Jahier> *)
+(* Time-stamp: <modified the 17/12/2021 (at 10:33) by Erwan Jahier> *)
 
 (** The module is used by
     - the main sasa simulation loop (in ../../src/sasaMain.ml)
@@ -12,7 +12,7 @@
 type 'v t = {
   sasarg: SasArg.t;
   network: 'v Process.t list;
-  neighbors: ('v Register.neighbor list) Map.Make(String).t; (* pid's neigbors *)
+  neighbors: ('v Register.neighbor list) Map.Make(String).t; (* pid's neighbors *)
   config: 'v Env.t
 }
 
@@ -24,10 +24,10 @@ type 'v enable_processes =
     
 val get_enable_processes: 'v t -> 'v enable_processes
 
-(** update the config *)
+(** [update_config e c] updates c using e *)
 val update_config: 'v Env.t -> 'v t -> 'v t
 
-(** Get pid's state and neigbors *)
+(** Get pid's state and neighbors *)
 val neigbors_of_pid : 'v t -> string -> 'v * ('v Register.neighbor * string) list
 
 (* For SasaRun *)