Making checkdoc happier.