Fix documentation for `def_single_delegator`