diff --git a/docs.it4i/salomon/software/mic/mic_environment.md b/docs.it4i/salomon/software/mic/mic_environment.md
index f10108c31c5266163c5786be7918542747ab7b4e..9ba7c2c2e547e96cca5560649e59cec464b5daa6 100644
--- a/docs.it4i/salomon/software/mic/mic_environment.md
+++ b/docs.it4i/salomon/software/mic/mic_environment.md
@@ -99,6 +99,7 @@ int main(int argc, char* argv[])
     std::cout << "Pi ~ " << result << '\n';
 }
 ```
+
 * Compile
 
 ```console
@@ -150,21 +151,21 @@ double reduce(double* values);
 
 int main(int argc, char* argv[])
 {
-	// Generate random input vector of [-1, 1] values.
-	double values[8] __attribute__((aligned(64)));
-	for (int i = 0; i < 8; i++)
-		values[i] = 2 * (0.5 - rand() / (double)RAND_MAX);
+   // Generate random input vector of [-1, 1] values.
+   double values[8] __attribute__((aligned(64)));
+   for (int i = 0; i < 8; i++)
+      values[i] = 2 * (0.5 - rand() / (double)RAND_MAX);
 
-	double vector = reduce(values);
-	double scalar = values[0];
-	for (int i = 1; i < 8; i++)
-		scalar *= values[i];
+   double vector = reduce(values);
+   double scalar = values[0];
+   for (int i = 1; i < 8; i++)
+      scalar *= values[i];
 
-	printf("%f vs %f\n", vector, scalar);
+   printf("%f vs %f\n", vector, scalar);
 
-	fflush(stdout);
+   fflush(stdout);
 
-	return 0;
+   return 0;
 }
 ```