X-Git-Url: http://nitlanguage.org

diff --git a/share/man/nitmetrics.md b/share/man/nitmetrics.md
index 0277161..9d7dfc6 100644
--- a/share/man/nitmetrics.md
+++ b/share/man/nitmetrics.md
@@ -11,52 +11,55 @@ nitmetrics [*options*]... FILE...
 ## METRICS
 
 ### `--all`
-Compute all metrics
+Compute all metrics.
 
 ### `--mmodules`
-Compute metrics about mmodules
+Compute metrics about mmodules.
 
 ### `--mclasses`
-Compute metrics about mclasses
+Compute metrics about mclasses.
 
 ### `--mendel`
-Compute mendel metrics
+Compute mendel metrics.
 
 ### `--inheritance`
-Compute metrics about inheritance usage
+Compute metrics about inheritance usage.
 
 ### `--refinement`
-Compute metrics about refinement usage
+Compute metrics about refinement usage.
 
 ### `--self`
-Compute metrics about the usage of explicit and implicit self
+Compute metrics about the usage of explicit and implicit self.
 
 ### `--ast`
-Compute metrics about the usage of nodes and identifiers in the AST
+Compute metrics about the usage of nodes and identifiers in the AST.
 
 ### `--nullables`
-Compute metrics on nullables send
+Compute metrics on nullables send.
 
 ### `--static-types`
-Compute explicit static types metrics
+Compute explicit static types metrics.
 
 ### `--tables`
-Compute tables metrics
+Compute tables metrics.
 
 ### `--rta`
-Compute RTA metrics
+Compute RTA metrics.
 
 ### `--generate_hyperdoc`
-Generate Hyperdoc
+Generate Hyperdoc.
 
 ### `--poset`
-Complete metrics on posets
+Complete metrics on posets.
 
 ### `--detect-variance-constraints`
-Detects the definition-site variance constraints on formal parameters.
+Detect the definition-site variance constraints on formal parameters.
 
 Infers the possible variance annotations of formal types in Nit programs by identifying the existing constraints on the usage of those formal type.
 
+### `--detect-covariance`
+Detect the static covariance usages.
+
 ## OUTPUT
 
 ### `--csv`