Another fix to updater.py for a bug I mistakingly introduced earlier.