fix a minor issue with watchdog