fixes #28: cannot stop timer if switched to other tabs