Removed (now unused) token