plugins/task: Fix typo in docs

Change-Id: If10c1812b70a08fe21d28fd25e4320d60f18d46f
diff --git a/src/main/resources/Documentation/task.md b/src/main/resources/Documentation/task.md
index ce2dd40..d756518 100644
--- a/src/main/resources/Documentation/task.md
+++ b/src/main/resources/Documentation/task.md
@@ -557,7 +557,7 @@
 not output anything. This switch is particularly useful in combination
 with the **\-\-@PLUGIN@\-\-preview** switch.
 
-**\-\-@PLUGIN@\-\-task\-\-evaluation-time**
+**\-\-@PLUGIN@\-\-evaluation-time**
 
 This switch is meant as a debug switch to evaluate task performance. This
 switch outputs an elapsed time value on every task indicating how much time