Fix so that string tokens are correctly serialized

event though they might miss the "..."