Documentation tweaks
doc twiddles