made some minor changes to Run in Big Logic (some comments)