diff --git a/plutus-metatheory/Setup.hs b/plutus-metatheory/Setup.hs
index f74afd269cc..74e1c3b5597 100644
--- a/plutus-metatheory/Setup.hs
+++ b/plutus-metatheory/Setup.hs
@@ -28,7 +28,7 @@ isn't part of the source tree, but is in fact autogenerated in dist-newstyle fro
 Tokens.x!
 
 In order to achieve this, cabal PreProcessors are used. First we make sure to list
-src/**/*.lagda in the cabal's extra-source-files. This way, when changes to .lagda
+src/**/*.lagda in the cabal's data-files. This way, when changes to .lagda
 files are made, cabal will pre-process them anew, with the pre-processor being run
 once on each changed file.