restore lost token definition

Error in 0edf1f361817b91a7560e10ea2576a809fb13d40