Remove name from MAST_Label; now unused.