Update server was flaky. Seemingly a restart fixed it, but yes, you found the workaround for the problem.