Some tweaks to the docs page