Explicitly saying that the port for the server should be 8000