Improve the error message for BadTokenError.