Fix bug: call to run()in main takes less arguments