Small updates on the download page