Small fix in main