small doc fixups.