Thanks for letting me know.
I will fix that when the next version of python-gssapi is available. In the meantime, the GSSException thrown by <code>gssapi.AcceptContext.verify_mic</code> will also lead to an auth failure.