FIx the port number for the server

It should be 4000, not 3000.