diff --git a/standard-library.agda-lib b/standard-library.agda-lib
index cedacd1041..ba7ae571b9 100644
--- a/standard-library.agda-lib
+++ b/standard-library.agda-lib
@@ -1,5 +1,4 @@
-name: standard-library-tbt
+name: standard-library-2.1
 include: src
 flags:
   --warning=noUnsupportedIndexedMatch
---   --type-based-termination