Insubstantive tweaks/doc fixups.