Some minor corrections and a link to "Downloads"