bugfix in HLTVWatcher