Fix checkdoc complaints