Fix stuff discovered by checkdoc