two more tiny doc tweaks