Minor doc fixups