diff --git a/micheline/script.go b/micheline/script.go
index ea3e6701..2a5f047d 100644
--- a/micheline/script.go
+++ b/micheline/script.go
@@ -213,6 +213,9 @@ func linkStorageTypeAndValue(typ Prim, values *[]Prim) map[string]storageItem {
 			return name
 		}
 	}
+	// `values` is a queue of storage values collected from the storage value primitive tree.
+	// Here assumes `Walk` traverses the storage code primitive tree in the same ordering.
+	// The head of the queue should correspond to each primitive encountered here.
 	_ = typ.Walk(func(p Prim) error {
 		switch p.OpCode {
 		case K_STORAGE: