Correct docs (does not use DVVSet.)