More doc tweaks.