--- a/python/ppci/frontends/ks/nodes.py	Wed Dec 26 10:53:33 2012 +0100
+++ b/python/ppci/frontends/ks/nodes.py	Sun Dec 30 22:31:55 2012 +0100
@@ -31,14 +31,14 @@
    def __init__(self, fieldname):
       self.fieldname = fieldname
    def __repr__(self):
-      return 'FLD {0}'.format(self.fieldname)
+      return 'FIELD {0}'.format(self.fieldname)
 
 class Index(Node):
    def __init__(self, index, typ):
       self.index = index
       self.typ = typ
    def __repr__(self):
-      return 'IDX {0}'.format(self.index)
+      return 'INDEX {0}'.format(self.index)
 
 class Deref(Node):
    pass