If you haven’t done so already, follow the revised instructions, which I posted today. These determine the Ubuntu codename, so you don’t have to edit the commands.