more token pretty printing