A small bug in main.c was fixed.