We don't expect the "default port", but the "web server port". 8080 is only the default value.
I'll try a better formulation :)