diff --git a/docs/statistics.html b/docs/statistics.html index ea1ab8c15..4d7b77e35 100644 --- a/docs/statistics.html +++ b/docs/statistics.html @@ -3346,7 +3346,7 @@ main {