DDoc: add missing ')'