minor changes in tmux