Some tweaks to the download page