bugfix in Timer.stopTimer()