A few tweaks to instruction encoding slides