diff --git a/coverage/badge.svg b/coverage/badge.svg
index efcd15b75..34a3a3a39 100644
--- a/coverage/badge.svg
+++ b/coverage/badge.svg
@@ -17,7 +17,7 @@
coverage
coverage
- 80.41%
- 80.41%
+ 80.39%
+ 80.39%
\ No newline at end of file
diff --git a/coverage/benchmarks/benches/index.html b/coverage/benchmarks/benches/index.html
index 474f0f72e..ed82d1442 100644
--- a/coverage/benchmarks/benches/index.html
+++ b/coverage/benchmarks/benches/index.html
@@ -74,7 +74,7 @@