Revert "Typo .../{\dots}"

This reverts commit fe909ae76d1ce5cd035ac898d5c3093a63337939.