Collapsible set: Correction in changes of commit 321fce3.