corrected token revocation condition