List of Names record: better toString