small tweaks to watch.py