doc tweaks

Enough for #865