Fix bug in OIDC code