minor doc fixups