Republicans had the majority then.