Doc tweaks for readability