mplsminx: happy dance!