Small doc fixups