fix ReplTutorial1's use of 'run'