More Documentation tweaks