The red number has no value if subscribed mute list still shows up in the newsfeed for the subscriber of the mute list. If they subscribe and then they no longer see those listed in the newsfeed, then no problem. If they still see them, then it is meaningless, or if it hides them from everybody.