Bug fix in Globus Authenticator