Even more doc tweaks.