next couple of corrections to opcode encoding tables