Better error message when the IDP server is desynchronized.