Small change to the shibboleth authentication