minor doc fixing