diff --git a/src/riddl/ReactiveBBQ/restaurant/Loyalty.riddl b/src/riddl/ReactiveBBQ/restaurant/Loyalty.riddl
index de1607e..a91bf0f 100644
--- a/src/riddl/ReactiveBBQ/restaurant/Loyalty.riddl
+++ b/src/riddl/ReactiveBBQ/restaurant/Loyalty.riddl
@@ -69,6 +69,7 @@ context Loyalty is {
       explained as {
         |This state type used when a loyalty account is active
       }
+    }
 
     handler Inputs is {
       ???