diff --git a/docs/cedarling/cedarling-krakend.md b/docs/cedarling/cedarling-krakend.md
index 784412e7835..c6fd54f87c5 100644
--- a/docs/cedarling/cedarling-krakend.md
+++ b/docs/cedarling/cedarling-krakend.md
@@ -100,7 +100,8 @@ To test the plugin, you will need:
       resource is gatewayDemo::HTTP_Request
     )
     when {
-    ((principal has "access_token") && ((principal["access_token"]) has "scope")) && (((principal["access_token"])["scope"]).contains("profile"))
+        principal has access_token.scope &&
+        principal.access_token.scope.contains("profile")
     };
     ```
 - This policy will allow access so long as the access token contains the `profile` scope.
diff --git a/jans-cedarling/cedarling-krakend/README.md b/jans-cedarling/cedarling-krakend/README.md
index 784412e7835..c6fd54f87c5 100644
--- a/jans-cedarling/cedarling-krakend/README.md
+++ b/jans-cedarling/cedarling-krakend/README.md
@@ -100,7 +100,8 @@ To test the plugin, you will need:
       resource is gatewayDemo::HTTP_Request
     )
     when {
-    ((principal has "access_token") && ((principal["access_token"]) has "scope")) && (((principal["access_token"])["scope"]).contains("profile"))
+        principal has access_token.scope &&
+        principal.access_token.scope.contains("profile")
     };
     ```
 - This policy will allow access so long as the access token contains the `profile` scope.