Cleanup from running checkdoc