Slight simplifications of presentation for lambda list tables.