Documentation fixups and tweaks