Tweaks for terminal multiplexers