more compact token formatting