Fixes default port in documentation