Just fixing bug in main