General doc tweaks.