Documentation fixes after running checkdoc