toString handling for mux as well as other output format fixes