Fix some more XML documentation.