More small changes dealing with tmux