Changed url encoding to one that will always work, because encode_url might not be the name of the method the user chose to implement the encoding in chapter 6.