Some tweaks to documentation