bug #4120 SSL redirects to port 80