My IIS web.config looks like this, as per the documentation:
<serverVariables>
<set name="ORIGINAL_URL" value="{HTTP_HOST}" />
<set name="X_FORWARDED_PROTO" value="https" />
</serverVariables>
What needs to be changed?