fixing badly formatted patch in Token.h