Some doc fixups