A few minor doc tweaks