Added header for printing tokens.