Small fix for main