Some tweaks to doc.