One more bug fix. Auto-update is tricky!