Fixed a bug in the Token class