diff --git a/docs/statistics.html b/docs/statistics.html index 07e457f8d..c928779e8 100644 --- a/docs/statistics.html +++ b/docs/statistics.html @@ -2639,7 +2639,7 @@ main {