Docmentation tweaks