Correction in bigmux.mj