Fix old-style switch instrs again