minor DDoc fix