Changed default server port

It seems to be 5000, not 5001.