minor improvement of AutoUpdateManager