More checkdoc fixes.