Make checkdoc happy