Updated docs to reflect updated default server port.