Fix hw2 insns