Remove last of TOKbit

Years later, it still hides in the code.