fixed minor detail on RunDarwin.out