- fix to avoid issue with spaces in url on IE11 (until we upgrade to a
GWT version that does support IE11)