diff --git a/booster/test/rpc-integration/resources/collectiontest.k b/booster/test/rpc-integration/resources/collectiontest.k
index a959b848a99..4eb7764e51b 100644
--- a/booster/test/rpc-integration/resources/collectiontest.k
+++ b/booster/test/rpc-integration/resources/collectiontest.k
@@ -5,7 +5,7 @@ module COLLECTIONTEST
   imports LIST
   imports MAP
 
-  syntax State ::= State(Collection, Int) [klabel(State), symbol]
+  syntax State ::= State(Collection, Int) [symbol(State)]
 
   syntax Collection ::= Set // | List | Map