A couple of instructions translated and updated