Fix after checkdoc