Update decoder.v