Slight doc tweaks.