The full text of the error is:
"Unable to find the service principal requested. The service principal may have been detected incorrectly in your network. Set the 'Default Domain Controller' in preferences to try and work around this."
The suggested resolution (setting the domain controller in preferences) really does work around the issue normally, but if you have done that and are still experiencing difficulties this post will help you solve the problem completely.