More docoumentation tweaks