That url-retrieve breaks in this case is unfortunate, but I guess we can't do much about it without breaking other stuff.