Fixed the default service port in the documentation