Inaccuracies in the specification

In the variable-length keccak circuit specification spec/circuits/var_len_keccak.md, there is a sentence under the "Inputs" section starting with "The input consists of triples of the form", where it should now be "four-tuples" instead of "triples". The actual four-tuple is also incorrect, as it has the circuit ID first and then the length, whereas the other specs and the code have it the other way around. The same mistake also appears in the "Instance" section.