This works without it, but generates an extra redirect on the web server to the same a URL with the '/' appended, so we might as well supply it ourselves and remove the extra roundtrip to the server.