fix bug in encoding of SET instruction for Marina