Fix default port in docs