diff --git a/docs.it4i/software/debuggers/aislinn.md b/docs.it4i/software/debuggers/aislinn.md
index 4241e107209d127a8acb6b26ace535e7c8febe74..2a430cbe6819fa7be01e6fbd71a005941bd8ac36 100644
--- a/docs.it4i/software/debuggers/aislinn.md
+++ b/docs.it4i/software/debuggers/aislinn.md
@@ -1,9 +1,8 @@
 # Aislinn
 
-* Aislinn is a dynamic verifier for MPI programs. For a fixed input, it covers all possible runs with respect to nondeterminism introduced by MPI. It allows to detect bugs that very rarely occur in normal runs.
-* Aislinn detects problems like invalid memory accesses, deadlocks, misuse of MPI, and resource leaks.
-* Aislinn is an open-source software, so you can use it without any licensing limitations.
-* [Web page][a] of the project.
+## Introduction
+
+Aislinn is a dynamic verifier for MPI programs. For a fixed input, it covers all possible runs with respect to nondeterminism introduced by MPI. It allows to detect bugs that very rarely occur in normal runs. It detects problems like invalid memory accesses, deadlocks, misuse of MPI, and resource leaks. Aislinn is an open-source software, so you can use it without any licensing limitations. For more information, visit the project's [web page][a].
 
 !!! note
     Aislinn is developed at IT4Innovations and some parts are still considered experimental. If you have any questions or experience any problems, contact the author: <mailto:stanislav.bohm@vsb.cz>.