a few more tiny doc tweaks