Fix bugs in τswitching and adjust verbose mode.