Fixed a minor typo.
Moving comments around for the POPL code release
link to the dvpt page