A few doc tweaks