small documentation fix in List module