Some tweaks in 'Download' page for #9