improve formatting in remote execution tutorial