More doc fixing