Index: tools/mkhord.py
===================================================================
--- tools/mkhord.py	(revision 0516fd716e8b774cf526e74c1239ba42ea1dcde0)
+++ tools/mkhord.py	(revision 2ab1023ece3b484a3f4b5022e4705652833c3270)
@@ -36,5 +36,5 @@
 
 HEADER = """little:
-	char[4] tag            /* 'HORD' */
+	char tag[4]            /* 'HORD' */
 	uint8_t version        /* version */
 	uint8_t encoding       /* encoding */
