Fixed bug in computing the # of slices for mux