Add an url-encoding function