Some tweaks to docs.