Fix checkdoc issues