another DDoc tweak