fix bugs in pseudoMuxes