Cancel previous timeout to avoid situations where two timers are running simultaneously.
Merge branch 'minimax' into gh-pages