make checkdoc happy