diff --git a/src/main/scala/viper/gobra/frontend/Source.scala b/src/main/scala/viper/gobra/frontend/Source.scala
index 3c407ec09..82a5c21ce 100644
--- a/src/main/scala/viper/gobra/frontend/Source.scala
+++ b/src/main/scala/viper/gobra/frontend/Source.scala
@@ -78,7 +78,7 @@ object Source {
 
   /**
     * Forcefully tries to create a package info or throws an runtime exception.
-    * Only use for unit tests
+    * Only used for unit tests
     */
   def getPackageInfoOrCrash(src: Source, projectRoot: Path): PackageInfo = {
     Source.getPackageInfo(src, projectRoot).fold(