fix for URLs with a port not handled correctly; minor version up