diff --git a/decoder.k b/decoder.k
index baaee9b4beb7c236eb74e24bd5ea38d9a3d36ba0..f63a3d89aa891ebccc536447f5f2f259e9abc107 100644
--- a/decoder.k
+++ b/decoder.k
@@ -1322,7 +1322,7 @@ module DECODER
 
   syntax String ::= PrintHexWithWidth(Int, Int) [function]
   
-  syntax K ::= ExtendToWidth(Int, Int, Int) [function]// Initial, Width, Sign (1=Extend with F, 0 = Extend with 0)
+  syntax KItem ::= ExtendToWidth(Int, Int, Int) [function]// Initial, Width, Sign (1=Extend with F, 0 = Extend with 0)
   rule PrintHexWithWidth(V, W) => "-" +String PrintHexWithWidth(0 -Int V, W) requires V <Int 0
   rule PrintHexWithWidth(V, _) => "0x" +String Base2String(V, 16)  requires V >=Int 0
 
@@ -1746,7 +1746,7 @@ module DECODER
        <REG7> R </REG7>
        requires VIS =/=K SUPPRESSED
 
-  syntax K ::= MakeRELBR(K, K) [strict]
+  syntax K ::= MakeRELBR(KItem, KItem) [strict]
 
   rule AppendOperand(MakeRELBR(W:Int, V:String) => mi(64, String2Base(V, 16)))