minor doc fixes.