More small doc tweaks.