diff --git a/etc/Jenkinsfile.autograding b/etc/Jenkinsfile.autograding
index e192e53a..6aaa25ec 100644
--- a/etc/Jenkinsfile.autograding
+++ b/etc/Jenkinsfile.autograding
@@ -33,7 +33,7 @@ node {
         withMaven(maven: 'mvn-default', mavenLocalRepo: '/var/data/m2repository', mavenOpts: '-Xmx768m -Xms512m') {
             sh "mvn -ntp org.pitest:pitest-maven:mutationCoverage"
         }
-        recordCoverage tools: [[parser: 'PIT']], sourceCodeRetention: 'EVERY_BUILD'
+        recordCoverage tools: [[parser: 'PIT']], id: 'pit', sourceCodeRetention: 'EVERY_BUILD'
     }
 
     stage ('Collect Maven Warnings') {