Make some tweaks to docs