minor fixes in run.java