diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3c85eb3a..595cc613 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -49,8 +49,7 @@ jobs:
       - uses: actions/upload-artifact@v4
         with:
           name: autograder-cmd
-          path: |
-            autograder-cmd/target/autograder-cmd.jar
+          path: autograder-cmd/target/autograder-cmd.jar
           if-no-files-found: error
 
       # Release only when pushing to a tag
@@ -59,5 +58,4 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         with:
           body: 'Minor Release (mostly for the automatic download of the jar file)'
-          files: |
-              autograder-cmd/target/autograder-cmd.jar
+          files: autograder-cmd/target/autograder-cmd.jar
diff --git a/autograder-core/src/main/java/de/firemage/autograder/core/Linter.java b/autograder-core/src/main/java/de/firemage/autograder/core/Linter.java
index fd3cf020..68c5a0e2 100644
--- a/autograder-core/src/main/java/de/firemage/autograder/core/Linter.java
+++ b/autograder-core/src/main/java/de/firemage/autograder/core/Linter.java
@@ -150,7 +150,7 @@ public List<Problem> checkFile(
             unreducedProblems = result
                 .problems()
                 .stream()
-                .filter(problem -> checkConfiguration.problemsToReport().contains(problem.getType()))
+                .filter(problem -> checkConfiguration.problemsToReport().contains(problem.getProblemType()))
                 .toList();
         }