Even more doc fixups.