Update the docs for setup and running