diff --git a/docs/coverage.pdf b/docs/coverage.pdf index 649a52c..3d4b011 100644 Binary files a/docs/coverage.pdf and b/docs/coverage.pdf differ