Correct main spec