correction to InstructionEncoder