DDoc cleanup
minor DDoc fix