this_url() should mention non standard port.

So that it can be used as a basehref.