More doc fixups.