More tweaks to documenation