Minor updates to server setup documentation