Fix problem in run.js