* Ugly but seemingly working fix to the token memory leak