Fix bug in run.c