diff --git a/docs.it4i/software/debuggers/aislinn.md b/docs.it4i/software/debuggers/aislinn.md
index 2a430cbe6819fa7be01e6fbd71a005941bd8ac36..1ee8232e645ad3219986972d9bbd78b3651f9123 100644
--- a/docs.it4i/software/debuggers/aislinn.md
+++ b/docs.it4i/software/debuggers/aislinn.md
@@ -58,7 +58,7 @@ Now we compile the program by Aislinn implementation of MPI. There are `mpicc` f
 $ mpicc -g test.cpp -o test
 ```
 
-The `-g` flag is not necessary, but it puts more debugging information into the program, hence Aislinn may a provide more detailed report. The command produces an executable file `test`.
+The `-g` flag is not necessary, but it puts more debugging information into the program, hence Aislinn may provide a more detailed report. The command produces an executable file `test`.
 
 Now we run the Aislinn itself. The argument `-p 3` specifies that we want to verify our program for the case of three MPI processes: