Fix a bug in single sign-on which could cause a "No session cookie found" error.