Fix documentation according to checkdoc.