Keep checkdoc happy