more doc fixups