Somehow, my default terminal has been changed to terminator after I upgraded to 13.10. Here is the way to change it back in command sudo update-alternatives –config x-terminal-emulator
To review all the default application settings: sudo update-alternatives –all
Jackie Chen's IT Workshop 