diff --git a/_fc-plugins/ltest.md b/_fc-plugins/ltest.md
index 18e761aff50e3c8fc4f6d94ca8a8e9dbdfd79674..1bc0ed68879a06d81579475ad4f18888faea6533 100644
--- a/_fc-plugins/ltest.md
+++ b/_fc-plugins/ltest.md
@@ -18,7 +18,7 @@ covered for a given criterion. In this context,
 
 - `LAnnotate` generates the set of (hyper)labels corresponding to
   the selected criteria for a given C program;
-- `LUncov` attempts to detect the (hyper)labels that are unreachable,
+- `LUncov` attempts to detect the (hyper)labels that are uncoverable,
   and the ones that are redundant;
 - `LReplay` executes a test suite over some code instrumented with
   (hyper)labels and computes a coverage ratio.