A few doc tweaks.