Build fix for new DDocs type.