1 files changed, 18 insertions, 6 deletions
diff --git a/core/api-exchange.rst b/core/api-exchange.rst
index 3edd5311..17f29ec8 100644
--- a/core/api-exchange.rst
+++ b/core/api-exchange.rst
@@ -283,7 +283,9 @@ possibly by using HTTPS.
       | RsaDenominationKey
       | CSDenominationKey;
 
-  .. ts:def:: RsaDenominationKey {
+  .. ts:def:: RsaDenominationKey
+
+    interface RsaDenominationKey {
       cipher: "RSA";
 
       // 32-bit age mask.
@@ -293,7 +295,9 @@ possibly by using HTTPS.
       rsa_public_key: RsaPublicKey;
     }
 
-  .. ts:def:: CSDenominationKey {
+  .. ts:def:: CSDenominationKey
+
+    interface CSDenominationKey {
       cipher: "CS";
 
       // 32-bit age mask.
@@ -1525,14 +1529,18 @@ exchange.
       | RsaBlindedDenominationSignature
       | CSBlindedDenominationSignature;
 
-  .. ts:def:: RsaBlindedDenominationSignature {
+  .. ts:def:: RsaBlindedDenominationSignature
+
+    interface RsaBlindedDenominationSignature {
       cipher: "RSA";
 
       // (blinded) RSA signature
       blinded_rsa_signature: BlindedRsaSignature;
     }
 
-  .. ts:def:: CSBlindedDenominationSignature {
+  .. ts:def:: CSBlindedDenominationSignature
+
+    interface CSBlindedDenominationSignature {
       type: "CS";
 
       // FIXME: tbd
@@ -1733,14 +1741,18 @@ denomination.
       | RsaDenominationSignature
       | CSDenominationSignature;
 
-  .. ts:def:: RsaDenominationSignature {
+  .. ts:def:: RsaDenominationSignature
+
+    interface RsaDenominationSignature {
       cipher: "RSA";
 
       // RSA signature
       rsa_signature: RsaSignature;
     }
 
-  .. ts:def:: CSBDenominationSignature {
+  .. ts:def:: CSBDenominationSignature
+
+    interface CSBDenominationSignature {
       type: "CS";
 
       // FIXME: tbd