diff --git a/.circleci/report-coverage.sh b/.circleci/report-coverage.sh
index a5b86f168a8ac5162e35af46f169222038f02a0f..3f15868363d5f8b3c1db8f1b6d591e5862efe971 100755
--- a/.circleci/report-coverage.sh
+++ b/.circleci/report-coverage.sh
@@ -1,7 +1,9 @@
 #! /usr/bin/env nix-shell
 #! nix-shell -i bash -p "python.withPackages (ps: [ ps.codecov ])"
+set -x
 find ./result-doc/share/doc
-cp ./result-doc/share/doc/*/.coverage ./
+cp ./result-doc/share/doc/*/.coverage.* ./
+python -m coverage combine
 python -m coverage report
 python -m coverage xml
 codecov --file coverage.xml
diff --git a/zkapauthorizer.nix b/zkapauthorizer.nix
index d74c8dd75ee399803662dd586978ba0aba7010ff..e76b19c5ebf03f74e6e04252ecfffa65f7cdaed0 100644
--- a/zkapauthorizer.nix
+++ b/zkapauthorizer.nix
@@ -58,10 +58,8 @@ buildPythonPackage rec {
 
   postCheck = if collectCoverage
     then ''
-    python -m coverage combine
-    python -m coverage html
     mkdir -p "$doc/share/doc/${name}"
-    cp -vr .coverage htmlcov "$doc/share/doc/${name}"
+    cp -v .coverage.* "$doc/share/doc/${name}"
     ''
     else "";
 }