Documentation tweaks