Some tweaks to the documentation