Minor update on how to run the server