Minor changes to Tmux.php