Another small instruction fix