Docs. Minor tweaks.