Minor doco tweaks