Minor doc fixups.