diff --git a/models/Application_examples/Tic_Tac_Toe.mp b/models/Application_examples/Tic_Tac_Toe.mp
index 237d85eff737ff39386f51330f3a57145fb0861d..19c32ba64f50e98f23ac571e64090f28c4657f54 100644
--- a/models/Application_examples/Tic_Tac_Toe.mp
+++ b/models/Application_examples/Tic_Tac_Toe.mp
@@ -105,13 +105,13 @@ choosing_remnant_NOT_beside_an_X_on_2nd_move :
 
 /* Player going second makes mistake on second move of the game */
 choosing_a_corner_on_2nd_move :
- /* first   move */		      X_chooses_corner
+ /* first   move */           X_chooses_corner
  /* second  move - mistake */ O_chooses_corner
- /* third   move */		      X_chooses_any_corner
- /* fourth  move */		      O_blocks_
- /* fifth   move */		      X_chooses_last_corner
- /* sixth   move */		      O_blocks_one_path
- /* seventh move */		      X_wins;
+ /* third   move */           X_chooses_any_corner
+ /* fourth  move */           O_blocks_
+ /* fifth   move */           X_chooses_last_corner
+ /* sixth   move */           O_blocks_one_path
+ /* seventh move */           X_wins;
 
 
 /* Player going second makes mistake on fourth move of the game */