Minor cosmetic & documentation tweaks